1.
Leveraging Applications of Formal Methods, Verification, and Validation : 4th International ...
by Margaria, Tiziana, Steffen,...
ISBN: 9783642165603
List Price: $107.00
2.
Verification, Model Checking, and Abstract Interpretation 5th International Conference, VMCA...
by Steffen, Bernhard, Levi, G.
ISBN: 9783540208037
List Price: $69.95
3.
Correct System Design Recent Insights and Advances
by Steffen, Bernhard, Olderog,...
ISBN: 9783540666240
List Price: $82.95
4.
Leveraging Applications of Formal Methods
by Tiziana, Margaria, Steffen,...
ISBN: 9783540489283
List Price: $58.00
5.
Tools and Algorithms for the Construction and Analysis of Systems Second International Works...
by Margaria, Tiziana, Steffen,...
ISBN: 9783540610427
List Price: $79.95
6.
Leveraging Applications of Formal Methods, Verification, and Validation : 4th International ...
by Margaria, Tiziana, Steffen,...
ISBN: 9783642165573
List Price: $131.00
7.
Leveraging Applications of Formal Methods, Verification and Validation : 5th International S...
by Margaria, Tiziana, Steffen,...
ISBN: 9783642340253
List Price: $119.00
8.
Leveraging Applications of Formal Methods, Verification and Validation : 5th International S...
by Margaria, Tiziana, Steffen,...
ISBN: 9783642340314
List Price: $83.00
9.
Utopie - Literarische Matrix der Luge? : Eine Diskursanalyse fiktionalen und nicht-fiktional...
by Greschonig, Steffen, Gajek,...
ISBN: 9783631538159
List Price: $50.95
OUT OF STOCK
See Availability on Amazon11.
Denkmal und Energie (German Edition)
by Bernhard Weller, Sven Jakub...
ISBN: 9783834816191
List Price: $59.95
OUT OF STOCK
See Availability on Amazon12.
Grundlagen der hheren Informatik: Induktives Vorgehen (eXamen.press) (German Edition)
by Bernhard Steffen, Oliver Rü...
ISBN: 9783642401459
List Price: $29.99
13.
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemin...
by Margaria, Tiziana, Steffen,...
ISBN: 9783319471686
List Price: $143.00
14.
Mathematical Foundations of Advanced Informatics : Vol. 1: Inductive Approaches
by Steffen, Bernhard, R�thing,...
ISBN: 9783319683966
List Price: $49.99
15.
Leveraging Applications of Formal Methods, Verification and Validation. Modeling : 8th Inter...
by Margaria, Tiziana, Steffen,...
ISBN: 9783030034177
List Price: $99.99
16.
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice ...
by Margaria, Tiziana, Steffen,...
ISBN: 9783030034269
List Price: $99.99
17.
Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th I...
by Margaria, Tiziana, Steffen,...
ISBN: 9783030034207
List Price: $89.99
18.
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems ...
by Margaria, Tiziana, Steffen,...
ISBN: 9783030034238
List Price: $99.99
19.
Karten Von Mykenai: Auf Veranlassung Des Deutschen Archologischen Instituts Aufgenommen Und ...
by Steffen, Bernhard
ISBN: 9781146298087
List Price: $17.75
OUT OF STOCK
See Availability on Amazon20.
Leveraging Applications of Formal Methods, Verification and Validation : 10th International ...
by Margaria, Tiziana, Steffen,...
ISBN: 9783030891589
21.
Model Checking, Synthesis, and Learning : Essays Dedicated to Bengt Jonsson on the Occasion ...
by Olderog, Ernst-R�diger, Ste...
ISBN: 9783030913830
22.
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends : 9...
by Margaria, Tiziana, Steffen,...
ISBN: 9783030837228
23.
Leveraging Applications of Formal Methods, Verification and Validation: Verification Princip...
by Margaria, Tiziana, Steffen,...
ISBN: 9783030613617
24.
Leveraging Applications of Formal Methods, Verification and Validation: Applications : 9th I...
by Margaria, Tiziana, Steffen,...
ISBN: 9783030614669
25.
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principl...
by Margaria, Tiziana, Steffen,...
ISBN: 9783030614690